Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
921	A Proof Theory for DL-Lite? Diego Calvanese, Evgeny Kharlamov, Werner Nutt Faculty of Computer Science, Free University of Bozen-Bolzano, Italy {calvanese,kharlamov,nutt}@inf.unibz.it Abstract. In this work we propose a Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Propositional calculus Deduction Rules of inference Formal methods Lambda calculus Valuation Symbol Entailment Resolution Logic Mathematics Mathematical logic
922	AVoCS[removed]Automated Verification of Signalling Principles in Railway Interlockings 1 Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2009-11-12 17:52:00 Metalogic Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Model checking Logic Propositional calculus Logical syntax
923	MUltlog 1.0: Towards an Expert System for Many-valued Logics? ?? Vienna Group for Multiple-valued Logics??? Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 11:50:57 Predicate logic Classical logic Propositional calculus Philosophical logic Many-valued logic Natural deduction First-order logic Modal logic Sequent calculus Logic Mathematical logic Proof theory
924	Cabinet Temperature Chart Add to Reading List Source URL: www.metalcraft.net Language: English - Date: 2013-11-03 09:52:26 Clause Predicate logic Propositional calculus Nondestructive testing Logic Logic programming Science Evaluation
925	The Revolution against Affirmative Action in California: Racism, Economics, and Proposition 209 Author(s): R. Michael Alvarez and Lisa García Bedolla Add to Reading List Source URL: www.marioguerrero.info Language: English - Date: 2013-11-11 09:38:53 Logical syntax Mental content Philosophy of language Proposition Propositional calculus Statements Independent Logic Philosophy of mind Linguistics
926	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2009-07-14 10:07:18 Propositional calculus Boolean algebra Substructural logic Philosophical logic Relevance logic Negation Intuitionistic logic Modal logic BL Logic Mathematical logic Non-classical logic
927	Chapter 3 The While programming Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2013-11-04 05:17:47 Boolean algebra Deduction Entailment Metalogic Modal logic Negation Logic Philosophical logic Propositional calculus
928	Chapter 1 Digital Logic Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2006-08-27 15:19:16 Abstract algebra Propositional calculus Algebraic logic Logical connectives Semantics Truth table Logic gate Negation Propositional formula Mathematics Mathematical logic Boolean algebra
929	THE LOGIC OF SOKU IN THE KYOTO SCHOOL Nicholaos John Jones Add to Reading List Source URL: buddhism.lib.ntu.edu.tw Language: English - Date: 2006-08-31 03:25:15 Propositional calculus Philosophical logic Rules of inference Semantics Soku hi Negation Kitaro Nishida Dialectic Contradiction Logic Philosophy Science
930	162 SAUNDERS MACLANE Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:31:16 Peano axioms Axiom Metamath Mathematical proof Principia Mathematica Intuitionistic logic Propositional calculus Consistency Function Logic Mathematics Mathematical logic

UPDATE